Colcombet, Thomas : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (14)
Les plus populaires
Liste
- Liste
- Tableau

1

On the positional determinacy of edge-labeled games

Thomas Colcombet, Damian Niwiński

Journal:

Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 190 KB

english, 2006

2

Tree-walking automata cannot be determinized

Mikołaj Bojańczyk, Thomas Colcombet

Journal:

Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 197 KB

english, 2006

3

Factorization forests for infinite words and applications to countable scattered linear orderings

Thomas Colcombet

Journal:

Theoretical Computer Science

Année:

2010

Langue:

english

Fichier:

PDF, 902 KB

english, 2010

4

Rewriting in the partial algebra of typed terms modulo AC

Thomas Colcombet

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 197 KB

english, 2003

5

Tree-Walking Automata Do Not Recognize All Regular Languages

Bojańczyk, MikoŁaj, Colcombet, Thomas

Journal:

SIAM Journal on Computing

Année:

2008

Langue:

english

Fichier:

PDF, 820 KB

english, 2008

6

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory

Colcombet, Thomas

Année:

2013

Langue:

english

Fichier:

PDF, 273 KB

english, 2013

7

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Regular Cost Functions over Finite Trees

Colcombet, Thomas, Löding, Christof

Année:

2010

Langue:

english

Fichier:

PDF, 372 KB

english, 2010

8

[ACM Press the thirty-seventh annual ACM symposium - Baltimore, MD, USA (2005.05.22-2005.05.24)] Proceedings of the thirty-seventh annual ACM symposium on Theory of computing - STOC '05 - Tree-walking automata do not recognize all regular languages

Bojanczyk, Mikolaj, Colcombet, Thomas

Année:

2005

Langue:

english

Fichier:

PDF, 1.34 MB

english, 2005

9

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Two-way cost automata and cost logics over infinite trees

Blumensath, Achim, Colcombet, Thomas, Kuperberg, Denis, Parys, Paweł, Boom, Michael Vanden

Année:

2014

Langue:

english

Fichier:

PDF, 327 KB

english, 2014

10

Approximate Comparison of Functions Computed by Distance Automata

Colcombet, Thomas, Daviaud, Laure

Journal:

Theory of Computing Systems

Année:

2016

Langue:

english

Fichier:

PDF, 477 KB

english, 2016

11

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - The Complexity of Boundedness for Guarded Logics

Benedikt, Michael, Cate, Balder Ten, Colcombet, Thomas, Boom, Michael Vanden

Année:

2015

Langue:

english

Fichier:

PDF, 298 KB

english, 2015

12

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Logic and regular cost functions

Colcombet, Thomas

Année:

2017

Langue:

english

Fichier:

PDF, 201 KB

english, 2017

13

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Perfect half space games

Colcombet, Thomas, Jurdzinski, Marcin, Lazic, Ranko, Schmitz, Sylvain

Année:

2017

Langue:

english

Fichier:

PDF, 309 KB

english, 2017

14

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Games with bound guess actions

Colcombet, Thomas, Göller, Stefan

Année:

2016

Langue:

english

Fichier:

PDF, 380 KB

english, 2016